Mechanizing Nonstandard Real Analysis

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Real Closed Fields with Nonstandard Analytic Structure

We consider the ordered field which is the completion of the Puiseux series field over R equipped with a ring of analytic functions on [−1, 1]n which contains the standard subanalytic functions as well as functions given by tadically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o–minimality in the corresponding language...

متن کامل

A Nonstandard Approach to Real Multiplication

This paper looks at the use of Model Theoretic ideas to study certain non-Hausdorff spaces with a view to their application in Manin’s proposed theory of Real Multiplication, which seeks to establish a framework in which to prove Hilbert’s twelfth problem for real quadratic fields. We study morphisms between these non-Hausdorff spaces using Nonstandard Analysis, and as a consequece in certain s...

متن کامل

Nonstandard Analysis in Point

We present Nonstandard Analysis by three axioms: the Extension, Transfer and Saturation Principles in the framework of the superstructure of a given innnite set. We also present several applications of this axiomatic approach to point-set topology. Some of the topological topics such as the Hewitt realcompactiication and the nonstandard characterization of the sober spaces seem to be new in the...

متن کامل

Nonstandard Analysis of Graphs

Intuitively, it is tempting to view a cube in R as a discrete lattice with infinitesimal edges. A similar infinitesimal picture suggests itself with other fractal spaces such as the Sierpinski gasket or the Sierpinski sponge (see [13], [5].) The purpose of this paper is to show certain classes of metric spaces characterized by volume growth properties of balls ([4],[2]) can viewed as graphs wit...

متن کامل

Non-nonstandard Analysis

There is an ancient philosphical-religious divide over questions of infinity. This divide extends over mathematics and we see it in many forms. A perfect example is offered by the twin approaches to analysis: limits and infinitesimals. With Robinson’s discovery of nonstandard analysis, both approaches have achieved legitimacy. Today, there is a new approach, non-nonstandard analysis, which, in ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: LMS Journal of Computation and Mathematics

سال: 2000

ISSN: 1461-1570

DOI: 10.1112/s1461157000000267